#ifndef SPICY_H
#define SPICY_H

#include "vcd-linux-ui/vcd-window-timed-revealer.h"

void read_connect_config_file(void);
gboolean optionContext(int argc, char *argv[]);
void spicy_connect(const char *host, const char *port, const char *password, const char *proxy);
void spicy_connect_with_priv(const char *host, const char *port, const char *password, const char *proxy,gpointer priv);
void spicy_disconnect(void);
void main_origin(int argc, char *argv[]);
char* spicy_get_img_in_install_path(const char* name, spice_connect_data *scd);
void spicy_connect_with_unix(const char *unix_path);
void vcd_spice_start_sync(spice_connect_data *scd);

extern GtkWidget *win_toplevel;
#endif
